home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / cml-098.lha / cml-0.9.8 / src / build.sml next >
Encoding:
Text File  |  1993-02-15  |  1.1 KB  |  41 lines
  1. (* build.sml
  2.  *
  3.  * COPYRIGHT (c) 1990 by John H. Reppy.  See COPYRIGHT file for details.
  4.  *
  5.  * Apply the CML functors.
  6.  *)
  7.  
  8. abstraction CML : sig  (* hide the internals, but preserve type equality *)
  9.     structure CML : sig
  10.         include CONCUR_ML
  11.         sharing type thread_id = CML.thread_id
  12.         and type chan = CML.chan
  13.         and type event = CML.event
  14.         and type time = CML.time = System.Timer.time
  15.       end
  16.     structure RunCML : RUN_CML
  17.     structure CIO : CONCUR_IO
  18.     structure TraceCML : TRACE_CML
  19.     sharing CML = RunCML.CML = CIO.CML = TraceCML.CML
  20.   end = struct
  21.     structure CML = CML
  22.     structure RunCML = RunCML(CML);
  23.     structure CIO = ConcurIO(RunCML);
  24.     structure TraceCML = TraceCML(
  25.         structure CML = CML
  26.               and RunCML = RunCML
  27.               and CIO = CIO);
  28.   end; (* CML *)
  29.  
  30. structure RunCML = CML.RunCML;
  31. structure CIO = CML.CIO;
  32. structure TraceCML = CML.TraceCML;
  33. structure CML = CML.CML;
  34.  
  35. (* remove internal signatures and structures *)
  36. signature CML_BASE = sig end;
  37. signature INTERNAL_CML = sig end;
  38. structure CMLVersion = struct end;
  39. structure CMLBase = struct end;
  40.  
  41.